Bound-Tightened Densest Subgraph Discovery on GPU | Synapse