Tracking issue for soundness blockers

[joshlf]

• Ban axioms in non-axiom Anneal annotations #3206
• Tracking issue for ensuring isValid soundness #3107
• Is it a problem that unsafe(axiom) also implies *progress*, not just *correctness*? #3091
• isValid soundness hole? #3087
• How do we ensure totality? #3054
• What about: PMEs? #3030
• What about: unsafe code generated by build.rs? #3026
• Support conditional compilation (#[cfg]) in Anneal verification targets #3017