Add `--object-bits` option to goto-cc#5440

thomasspriggs merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

thomasspriggs:tas/goto-cc-object-bits-sizethomasspriggs/cbmc:tas/goto-cc-object-bits-sizeCopy head branch name to clipboard