Verifying Off-Chain Computations Using TrueBit