Added cli options for reinitialization and internal action loop verification; added list of internal infinite loops in output
