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

[Arthur Eubanks via llvm-commits]

aeubanks wrote:

oh I see, there are two parts to machine verification. one is checking that the MF has certain properties a pass requires before running the pass. two is checking that each property a MF claims it has actually holds in the instructions

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