feat: support UIntX and USize in bv_decide

[hargoniX]

This PR adds support for UIntX and USize in bv_decide by adding a preprocessor that turns them into BitVec of their corresponding size.

[leanprover-community-bot]

Mathlib CI status (docs):

• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 1d03cd6a6b9e2cab387692f5ec0d0013b9a9867d --onto 74bd40d34d1a969da65007939960c2fefd461f08. (2025-01-20 09:40:41)
• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 1d03cd6a6b9e2cab387692f5ec0d0013b9a9867d --onto ac6a29ee834ba7fd30e9372e51493d7741e9c657. (2025-01-20 20:10:01)
• ✅ Mathlib branch lean-pr-testing-6711 has successfully built against this PR. (2025-01-29 11:56:23) View Log
• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 3c8cf7a90546e2f84daf8d392aab8cde3ae944e0 --onto 20c616503abe5ce4253c56dbcd7766a91c675ba0. (2025-01-29 14:29:33)
• ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 0c43f0504733f44add6bfd22e5d7ad62fb0cb84b --onto 20c616503abe5ce4253c56dbcd7766a91c675ba0. (2025-01-29 15:45:42)