removed unoptimized record-replay, added two more dynamic analyses, and some issues detected during dynamic analyses.