Merge rust-bitcoin#5078: units: replace wildcard import with specific imports in verification

f050a95 units: replace wildcard import with specific imports in verification (Daniel)

Pull request description:

  Replace `use super::*;` with `use super::{Amount, SignedAmount};` in amount verification module. Only these two types are actually used in the verification tests. Improves code readability and follows Rust best practices of preferring specific imports over wildcards


ACKs for top commit:
  tcharding:
    ACK f050a95
  apoelstra:
    ACK f050a95; successfully ran local tests


Tree-SHA512: 1836308d906bd1d1c88b8f80de1f3af5178ae7b6b7257547545ead48d9f4a049ebaca1ef318b8bdb4ca5d1ffd46daca14b9d055f03faea6ffcad7662da7a646c

Author: apoelstra

units/src/amount/verification.rs

@@ -4,7 +4,7 @@
 
 use std::cmp;
 
-use super::*;
+use super::{Amount, SignedAmount};
 
 // Note regarding the `unwind` parameter: this defines how many iterations
 // of loops kani will unwind before handing off to the SMT solver. Basically