* contracts-bedrock: add assume preventing system contracts calls in gas paying token test

* contracts-bedrock: constrain further gas paying token address in tests