Fix some incorrectly allowed timed section declarations.

Inside lets and modules we need to check all the declarations inside
timed sections too.
Fix lexing of end modules at the end of a file.
Allow assertions within files.
Update pre-built parser.