hulk: add verbose options and document them