Programming language vulnerability prevention recommendations from ISO WG23

We can address many issues here, like trait tests, part of design by contract, using custom testing frameworks: https://github.com/rust-lang/rfcs/pull/2318