add property tests, improve benchmarks, add parallel module#3

LeoN192 wants to merge 5 commits into

mainLeoN192/AVLSetFSharp:mainfrom

infrastructureLeoN192/AVLSetFSharp:infrastructureCopy head branch name to clipboard