Enhancements, bug fixes & tests

Bug fix in Junction & Choice pseudo state kinds.
Added isComplete method to State and Region.
Created test rig and started writing tests.