Remove an assert false introduce by TORU deposit operation

The Transaction Rollup deposit operation made it necessary to add an assert false in Michelson interpreter. This assert false is asserting unreachable code, but this is not enforce by the type system, which means it is fragile and could be broken by a refactoring in the future.

As often, it is something that we can probably fix thanks to a GADT! 🙃