Reading/writing params files
[wip] params/config verification (TODO:test)
Even the prover verification works\!
Switched from collection to streamed iterable