Utils.timeThunk

- log wall time for each z3 query, and for type checking let-equations
- added annotation of the form Ref {f:T} in resistor to speed up getProp calls