Pre-check allocation in `prepare_proposal`

[grarco]

We currently validate all the transactions that we get from mempool and then we allocate the resources for the valid ones in the block. This means that we could end up spending time validating transactions that we cannot possibly fit into the next block. It would be nice to check if we indeed have enough room (both in terms of space and gas) in the block for the next transaction before validating it