added a test to show that Arrays.equal is broken
added a method to test for array equality
fixed a bug where the ctor that takes an array to copy failed to
initialize the instance's own array field
TODO: bug in the rules(?) which computes an unexpected next state