Require PyAVM 0.9.1 or later