Actually implement block scope safety checks

[marijnh]

I described a way to do this in https://mail.mozilla.org/pipermail/rust-dev/2011-November/000922.html . Should be done soon, before people start accidentally writing unsafe block code.