On the Numerical Analysis of Adaptive Spectral/hp Methods for Elliptic Problems