Verifies that various kinds of writes work correctly even with odd data.