Added test block to compare to known values of Ackermann function