port over proptests to hegel#16

sunshowers merged 1 commit into

mainsunshowers-code/buf-list:mainfrom

hegelsunshowers-code/buf-list:hegelCopy head branch name to clipboard