Fix parser bug in unverified interpreter
Get finer gained timing info on running in the logic