Use real Idris errors in Executor
Better error messages on emulated FFI

Foreign functions that the executor emulates now provide a hint when
they are called with non-normalized arguments.

Fixes #983.
Merge pull request #1088 from david-christiansen/issue/983

Better error messages for emulated FFI calls