Added correctly instrumented case, which does all the limits checks and zeroes statis memory.
Fixed radix test case output code to have complete instrumentation, it still needs to be verified that it runs correclty.