Update drat-trim proof checker