Add tests for highstate check