Canonicity and Homotopy Canonicity for Cubical Type Theory