Updated pretty printers for merged branch, temporarily disabled pretty printing for x86