Lower GenerateRandomNumberExpr and SetRandomNumberSeedStmt
Implement 'test' opcode
Implement 'verify' opcode
Implement 'piracy', 'print_ret' and 'print_addr' opcode

CZech now successfully runs to completion