Fleshed out pyVerify, btcVerify, and... really the rest of Oracle.java.

NOTE: Not tested!