Yes, PGO would form part of it. Profiling information could be gathered during testing; we could kill two birds with one stone if we gathered profiling informa

Yes, PGO would form part of it. Profiling information could be gathered during testing; we could kill two birds with one stone if we gathered profiling information during property checking, e.g. in the style of QuickCheck/(Lazy)SmallCheck/etc. Maybe with an option to add weights to the test cases, so we can assign a low weight to tests which throw crazy data at the system, like fuzzing, and higher weight to those with realistic data generators, golden tests, etc.