Added appropriate comment headers and opt_args to HorodeckiState.m