Expand verify_listkeys_eqcfsm to track varying buckets and n_vals.

Test now writes to different buckets with varying n-vale, then reconciles them for each node and bucket.