Convert implicit Rust assertions into smack assertions without including the crate #739

Currently the following:

fn main() {
    assert!(0==1);
}

will pass in SMACK because this generates an assertion failure in the standard library. This should require checking for the symbols generated from here to convert into the relevant __VERIFIER_assert call.