Simplify symbolic modulus performance test
Add bit vector extension and truncation

Sign and zero extension are supported for type
casting purposes in programs under scrutiny.