Variable time normalize

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