Add test-suite for Fold finalization consistency

[adithyaov]

1. We need to verify that for every initial there is finalize being called.
2. extract can be called multiple times. extract should be pure-ish

On a side note, can we make extract completely pure?

extract :: s -> b