Improve error messages/reporting from deft tracked compiler #5
Description
Right now only the happy case is handled, we want better diagnostics from the compiler.
- Nicely format internal compiler errors
- Report when stub functions are used in non-return positions
- Tracing information collected in a better way
- When stub functions are used in non-return positions, give a reason why the compiler can't analyze it