Implement fixedbv/floatbv conversions in SAT and SMT2 back-ends#8790

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-2158-fixedbv-floatbvtautschnig/cbmc:fix-2158-fixedbv-floatbvCopy head branch name to clipboard