Uncommented optimisation code

The code was commented so until the code generator was complete.
Modified genBoundCheckStmt method

Earlier the method had a single check for the genBoundCheck flag. This was incorrect since both the optimised and unoptimised versions need to generate bounds checks for slice indices as well as those which can not be optimised.