a painstaking examination of Variance

Highlights:

 - made Variance a value class
 - removed lots of redundant variance code
 - fixed multiple soundness holes
 - tests which count all the way past 100

Review by @adriaanm.