WSJ: Notre Dame suit says compromise on birth-control rule is inadequate