Adding info to models to compute verified state based on attached resources. Also tests