npm/fast-check-tutorial