Also, all of these security improvements are nearly-free assert()s which catch memory bugs.