Move correctness to Python 3

[apkar]

Python 2 is deprecated. Python 3 has many nice things like type annotations. We might as well bite the bullet and do it sooner than later.

[senthil-db-expert]

@apkar We have worked on this, please assign this ticket to me.