Fix AlignedLayer example not processing proofs

[MegaRedHand]

Sending proofs to the batcher in the Aligned example doesn't work. We should fix it.

Talking with the Aligned team, it seems the batcher requires a manual allocation of funds in the ServiceManager. To address it, we should add balance on the ServiceManager for the BatcherPaymentService at startup. This is needed because the ServiceManager overcharges the sender by about 2x, but always reimburses any extra. Note that this was already added, but needs testing.