Clarify (and add an insertion) about block timing in awaitEvent.
Merge branch 'halvm' of github.com:GaloisInc/halvm-ghc into halvm