update to rust 0.8

still a few compilation errors, but most of it has been updated. Need to clarify intent of the property parameter function in rustcheck.rs for_all().