feat: block and proof submission libs

[LHerskind]

We should look at also separating out the block and proof submission code such that it is not in the mix of the rollup contract. We wish to build these such that we can split it more easily, so this is really the first step of the block validation split I guess.