We need a way to expose truncation. It will delegate to BitVec's `truncate`.
We need a way to expose truncation. It will delegate to BitVec's
truncate.