get rid of heap allocation book-keeping, remove dead code

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>