Adding no-warning assertions to IR auto tests