Added 'assert' debuggin routine to make sure the Ackermann function worked
properly. All signs point to yes.