Property tests#43

davidirvine wants to merge 3 commits intodevelopdavidirvine/deepnote:developfrom

property-testsdavidirvine/deepnote:property-testsCopy head branch name to clipboard