Last(?) bits of spec compliance; random tree support.

Add tree randomisation (adding dependency on math.numeric-tower) as the new
default method.  Accept flag to do spec-compliant deterministic tree-building.