Checker test for testing load-store elimination with final fields (constructor fences).