[llvm] [CodeGen] Support MachineFunctionProperties in PassConcept (PR #79749)

[Arthur Eubanks via llvm-commits]

aeubanks wrote:

actually I'm not understanding why this is necessary. it looks like `MachineVerifier::verify` mostly reads from `MachineFunction::getProperties()` to determine what to verify? it does get a couple of analyses, but so do some new PM instrumentation validation passes like in `PreservedCFGCheckerInstrumentation::registerCallbacks()`

https://github.com/llvm/llvm-project/pull/79749