Split fmodata count into count-only and counted list#210

eluce2 merged 4 commits intomainproofsh/proofkit:mainfrom

feature/split-fmodata-count-apiproofsh/proofkit:feature/split-fmodata-count-apiCopy head branch name to clipboard