[WIP] Full support for bootloader proof

- [x] Generate contract args for continuous memory registration - [x] Generate contract args for task metadata - [ ] Pass e2e test for a non-empty bootloader proof - [ ] add CLI subcommands for _verify_ and _getParams_