Remove commented-out code from libs/contrib/Interfaces/Verified.idr
Remove commented-out code from libs/contrib/Interfaces/Verified.idr

kojiromike/Idris-dev,FranklinChen/Idris-dev,markuspf/Idris-dev,markuspf/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,mpkh/Idris-dev,mpkh/Idris-dev,uuhan/Idris-dev,Heather/Idris-dev,Heather/Idris-dev,mpkh/Idris-dev,uuhan/Idris-dev,Heather/Idris-dev,kojiromike/Idris-dev,mpkh/Idris-dev,markuspf/Idris-dev,FranklinChen/Idris-dev,markuspf/Idris-dev,kojiromike/Idris-dev,Heather/Idris-dev,Heather/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,mpkh/Idris-dev,Heather/Idris-dev,uuhan/Idris-dev,FranklinChen/Idris-dev,markuspf/Idris-dev,FranklinChen/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,mpkh/Idris-dev,FranklinChen/Idris-dev,FranklinChen/Idris-dev,markuspf/Idris-dev