fortuna: check seeded state after firing trap

This way, we get to use whatever was waiting in the accumulator.
~src -> ~source

matches mirage types
different bounds check