Set default verifier to Boogie after all.
Added more inline attributes to prelude functions. Implemented max and min.
Merge branch 'develop' of https://github.com/smackers/smack into develop