Update the SQL to also group on size (just in case). Renamed the normal read method to signal that it is unverified. Made the verified reader use enumeration state machine to avoid materializing the list. `var`-ified some of the test code.