Updated givens, householder, solve.

Added checks to decomposition demos. Updated givens and householder
decompositions, including assembling Q for givens.