Improvements to the verification pipeline