dfa_build_all

Builds every state, so that no search ever needs the program. False if there are more than the limit.

dfa_build_all :: (d: *Dfa) -> bool