I believe long tedious boring calculations should not be put into papers. I would try to describe exactly how to do the verification, but leave the details to the reader. If there are steps that need a non-trivial idea, I would indicate the idea needed, but avoid the standard calculations.

My rule of thumb: write down exactly enough so that you yourself could reconstruct the argument in a few years, but nothing more.