added html test harness for membrane unit tests and benchmarks
updated direct proxies membranes with fast-path for operations that do not involve invariants