updates semcheck and README TODO section