Merge "Bumping jb cts and cts verifier version." into jb-dev