Summarize variants: change readDepth to an Option, fix several code style issues