IBM's ffsim gives quantum algorithm developers a fast classical proving ground for fermionic circuits — type0 | type0