Add tests for highstate check
Merge pull request #133 from pass-by-value/highstate_check_unit_tests

Add tests for highstate check