Implemented process constraint mechanism.

Processes will now terminate if they loop excissivly and if they
execute for too long.