Also move the verified fuzzing interpreter agenda item to today's agenda from Mar 17, since it actually was discussed today.