Use machine verifier to vet our low-level expansions

[AndyAyersMS]

Low level expansions need to set physreg liveness properties. Machine verifier can check this.

We should verify we're doing this right for things like the chkstk expansion