Improve Testing

This issue has been migrated from https://github.com/alpenlabs/gc-verifiability/issues/16

> There exist tests that assume large files. They are marked ignored for now to please CI. Figure out how to handle it.
> 
> Also clean up tests. Right now they are written to demo operation. We need actual tests with good code coverage.