fix up proofs for new compile_print_vals and compile_print_dec
fix compile_print_top bug: forgot to pop the NONE