Instruction-selection verifier for the Cranelift compiler. - View it on GitHub