Next PI meeting tasks

The ideal goal for this meeting will be to show off the Strongest Postcondition verifier running on real code. Hopefully we can demonstrate:

• No-op change shows no diagnostics
• Change to memory (global and/or local) with no visible effects shows no change
• Change in observables (e.g., extra syscall or change to syscall behavior like a printed value or printing to a different file descriptor)