MAC verifications now take constant time. Fixes #1.