Tests that we eliminate unneeded write barriers.