JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity