Trust, but Verify... The Value of Reference Checking