Micro AIs: avoid using formula= in SUFs

It’s slow for finding units with moves or attacks left.  The
alternative method of getting all units and then looping over the table
with a condition is much faster.