Testing framework: add contract passes to contract in ast-aggregated
type:internal
For LIGO developers
As reported by Xavier, contract passes are not checked on the testing framework contracts that are originated using Test.originate, producing a weird behavior.
This MR ports those contract passes to Ast_aggregated.
Changelog details:
Edited by E. Rivas