Homotopy hypothesis for contractible operad definitions of weak n-categories