Speedup modelchecking by removing redundant work

[jp-fizzbee]

1. Do not deep-clone the state after each statement. Instead, do it only once when creating a new fork.
2. Cache the hashcode to avoid expensive hash computation.
3. Added a flag --internal_profile that will enable profiling