Included assignment modules for ack and series. 

No additional comments besides those listed in request title
Your asserts look pretty good. However, since you included conditional statements to handle `x <= 0`; I'd like to see assertions for those.