added option to kompile and krun controlling whether the java backend th...

...rows a failed assertion when function definitions are not deterministic