Merge "Add verifier support for dequickening"