Declarative Smart Contract Testing by Domain Experts