[Upstream #78] SPIN fails to find assertion violation with -run

## Upstream Issue
https://github.com/nimble-code/Spin/issues/78

## Summary
SPIN fails to find assertion violation with `-run` option.

## Status
- [ ] Investigate issue
- [ ] Implement fix
- [ ] Submit PR upstream