Ackermann's Function

I really like seeing these two assertions since `None` is a possible output of your function. Without these I'd consider your testing to be path incomplete.