Fix oasis formatting + add a couple of printers to tests

No changes to library code