Variable time normalize

This may not be worth it; I measure around a 0.8% speedup for verification.