> When it comes to low-level, security sensitive software like this, I actually do value the software being written in a relatively safe language.

When it comes to low-level, security sensitive software like this, I actually do value the software being tested extensively. Bugs are bugs even if they are written in C, Rust, Ada, Elixir, Lisp or whatever language you like.