Transaction buffer improvements

[rafal-ch]

This PR modified the transaction buffer code slightly, by:

1. removing some unnecessary cloning of the footprint (now, we only clone it at the very end of add_transaction when we know all checks have passed)
2. avoiding creation of temporary Vec in proposable()