Discrete flow posteriors for variational inference in discrete dynamical systems