bench: add property benchmark