Boolean algebras, Morita invariance, and the algebraic K-theory of Lawvere theories