added a --verify flag to enable the solver (default off); increased the precedence of the :: operator
Merge branch 'master' of https://github.com/nikswamy/FStar