update forge pointer
Merge pull request #19 from stanford-ppl/asserts

support for Forge asserts