Higher radix multiplier encoding#7991

tautschnig wants to merge 8 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:feature/multiplier-encodingtautschnig/cbmc:feature/multiplier-encodingCopy head branch name to clipboard