New: Monoid law verification method
New: Provide a general size method for finger trees

+ Works without size annotation, but is not O(1)