pre- and postconditions now on master:

$ ./bb "(defn f ([x y] {:post [(< % 10)]} (+ x y))) (f 5 10)"
Assert failed: (< % 10) [at line 1, column 1]