Leveraging SAVM primitives to tackle Synthetix scalability bottlenecks in derivatives