Added Minimal profiling;
Fixed Inflation and Stochastic verifier