Implement #20 #21 #22 #23
Right now we aren't able to support string parameters so a good check would be a contract of the form
if (parameter > String.length("aaaaaa")) then {(noOps, 1);} else {(noOps, -1)}
that we can produce with blockly blocks and compile in LIGO.