Update AGREE and Resolute dependencies

[smithdtyler]

Updates to formal-methods-workbench (e.g., 72fb43ca0) have broken dependencies from AMASE.

[janetlj]

AMASE is currently still using AGREE from the following: https://github.com/smaccm/smaccm/tree/develop_fault_analysis/fm-workbench/agree

That is the branch containing AGREE updates to support Safety Annex features. We will be working on merging those changes back into https://github.com/loonwerks/formal-methods-workbench in the near term.

[smithdtyler]

@janetlj thank you for the update.