Add regression testing to track that callstacks are correct

[TomAFrench]

We've recently had a regression where some callstacks were partially reversed. We currently don't have any tracking for the correctness of these so we should add some tests which compile a program, purposefully trigger a revert and then checks the callstack is correct.