Enable exploreState without value profile#1037

oetr merged 2 commits intomainCodeIntelligenceTesting/jazzer:mainfrom

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