Testing a compiler-driven full-stack web framework