Reject malformed UTxO output indexes

[samsamtrum]

getRequiredInputs parsed UTxO output indexes with parseInt, so values like 1abc were accepted as 1.

This validates the parsed output index as a decimal nonnegative integer before converting it, and adds coverage for malformed and valid indexes.