Introduce bitst and bytest to avoid bit/byte mix-up#7413

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

tautschnig:feature/bits-bytestautschnig/cbmc:feature/bits-bytesCopy head branch name to clipboard