Merge "Add tests for null check elimination by local value numbering."