proptest: More docs, config as keyword list, add missing file