Test BigIntegerNode equality, and immutability wrt freeze/thaw

Not generic enough to pretend that "It Just Works(tm)", but quite a good proof
of concept that it does what is intended -- for one type of ValueNode.