Added more tests, including tests fo rinternal transitions. Fixed a bug in SCION that was breaking internal transitions. Everything works.