Trustworthy machine learning by efficiently verifying compressed models