adding-formal

Provides ASSERT/ASSUME macro pattern, .sby file template, and f_past_valid usage. Triggers when addi