Integrate termination in the rewarder

[Mark2000]

The rewarder should be used to handle termination penalties, and be allowed to signal termination for good and bad reasons.

[Mark2000]

This feature is now present. (#Issue?)

[Mark2000]

Could be good to generalize all termination/truncation into rewarders?