Add Precondition/Postcondition/Assert methods for non-test code.
Move _Gvn_location_of to Given.location_of.
Fix load_check task for new namespaces.
Fix Given::Assertions.enable_all
Add Precondition/Postcondition example.
Update README with non-spec assertions.
Bump to version 3.1.0.
Update README version