Removing spurious debugger statement.
Check for circularity before hashconsing children to avoid nontermination.
Fix remaining test cases.
Hashconsing now seems to mostly work.