Passive Verification of the Strategyproofness of Mechanisms in Open Environments