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

support for Forge asserts
change submodule refs
Merge remote-tracking branch 'origin/master' into cpp