The A-polynomial detects the trivial knot and other applications of character variety methods in 3-dimensional topology