Executor improvements

This fixes #1473 and #1474, as well as improving error messages from the executor and adding emulation for another RTS function (`idris_time`).