Add errno parameter to tesla_die().

Instead of just passing the instrumentation event name to tesla_die(), also pass the errno returned by tesla_update_state(), using phi nodes as needed.
Output human-readable IR for test debugging.