v00.13.01: Goes with OT v0.88.k Smart Contract API

Signed-off-by: FellowTraveler <F3llowTraveler@gmail.com>