Euler4 decreasePalendrom re-factoring, documenting

Adding parameter checking
Using explicit if-else to reduce return paths
Replacing comment with assertion
Documenting factoring shortcuts
Correcting comment on final return, has valid use cases