Fully justified proofs certainly don't belong in the main text of a paper, but they could be included as an appendix along with all the other uninteresting proo

Fully justified proofs certainly don't belong in the main text of a paper, but they could be included as an appendix along with all the other uninteresting proofs. In theory there is a greater risk of mistakes, but I don't think that it's enough to justify that much extra work. A small study is not enough evidence.