Serial correlation and clustered correlation in FE and FD estimators
Yes. If the idiosyncratic error is iid, xtreg (FE) with no options (ordinary se) is valid, but the ordinary se for FD, reg d.(y x), is invalid because the differenced error is serially correlated.
Yes, it is. It's cluster-robust, which means OK  regardless of the presence of within-group correlation.