Add a quick sanity check test.

/cc @puzza007.

TODO: Add property testing.