Verifies that various kinds of writes work correctly.