Ensure exact_eq and is_subgraph work with !-boxes
More tests for OGRAPH functions with !-boxes, and minor fixes