On univalence, Rezk Completeness and presentable quasi-categories