Increase max heap size to 15,000 ConsCells.

Unit tests were running out of heap, due to GC not being implemented
yet. Also, 15,000 is the value mentioned by McCarthy in the paper.
Add some more type checking to Car, Cdr, and Assoc.
Add unit tests for ConsCell objects.