Implement first pass check to determine if the requested outputs exceed the size of the eligible inputs

Also adds a wb test to check tx outputs match the requested ones.
Maybe change the testname to TestFulfilOutputsNoSatisfiableOutputs - that way we know that it's testing the fulfillOutputs method and I think it reflects a bit better what the test does.