Enable exploreState without value profile#1037

kyakdan wants to merge 7 commits intomainCodeIntelligenceTesting/jazzer:mainfrom

exploreState-no-value-profileCodeIntelligenceTesting/jazzer:exploreState-no-value-profileCopy head branch name to clipboard