why dont the doc. mention ,to prefer rust if "formal-verification"(at cost of compile-time) is the goal

[gintominto5329]

thanks

[chandlerc]

Our docs do suggest to prefer Rust if it works for you in the "why not rust" FAQ entry.

If you have a specific suggestion for an improvement to that entries wording, a PR would probably be the most clear way to articulate what could be improved?