Added a verify() routine to the PLCConfiguration object in order to enforce