Adds proptests using arbtest to test the correctness of the solutions provided by the SRD and BnB search algos. I use the dep exhaustigen to build all possible solutions and then run SRD or BnB and compare the results to show that the correct solution is found. Also, BnB contains a few proptest where a UTXO pool is randonly generated, and either one or many of the UTXOs are selected as a target with the assertion that BnB will find those UTXOS as the solution while searching.
Adds proptests using arbtest to test the correctness of the solutions provided by the SRD and BnB search algos. I use the dep exhaustigen to build all possible solutions and then run SRD or BnB and compare the results to show that the correct solution is found. Also, BnB contains a few proptest where a UTXO pool is randonly generated, and either one or many of the UTXOs are selected as a target with the assertion that BnB will find those UTXOS as the solution while searching.