small fixes, convert property test to bandit