> I wished Rust's "unsafe" blocks could have been 
  > exclusively confined to some things in the reference 
  > language compiler and standard library.

This sadly isn't possible in a language at the systems level. If you don't provide an escape hatch then users will just use the C FFI as an escape hatch, which results in far more potential unsafety than Rust's `unsafe` blocks.