Improve graph generation

Prevent segfault, `--create-dot` option, add verbose names to labels