enable neat vs. less neat pretty priting as an option

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
better verbose pretty printing

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