SE-0458: Opt-in Strict Memory Safety Checking

Mistakenly posted to the pitch thread, but I think some automatic documentation could go a long way to teach folks this option exists: