Level-Set Percolation Of The Gaussian Free Field And The Local Picture On Finite Graphs