Quote: Both lines you´re asking about are dealt with here
http://www.mujweb.cz/www/rajmunde/horizon.htm 9..Bd7 line just with one short line:
7...Bg4 8.f3 exf3 9.gxf3 Bd7 10.Bg5 Ng6 11.Nh5 Be7 12.Nxg7+ Kf8 13.Bh6 Kg8 14.Qd2 Bh3 15.Bf1 Qd7 16.0-0-0 Bxf1 17.Rdxf1 Bf8 18.h4+/-
Probably some improvements for white is possible here and there are some other alternatives for black as well but I think 9..Bh3 is better and more difficult to prove an advantage.
I appreciate the analysis you have posted, as much of it must have been done by you. Some of the lines are quite nice, especially what you give as the main line of 6...f5 (with the ensuing knight sacrifice on e4). However, I don't believe you're trying as hard for Black as you are for White in your analyses.

Here are some quick thoughts:
6...f5 7.Bc4 Nf6 8.Bg5 Qd6 (no longer have the nice idea of b3 + a4 + Ba3), and if 9.Bxf6 Qxf6 10.Nb5 Kd7! and there doesn't seem to be any way of stopping Black from regrouping. For example, 11.0-0 a6 12.Nc3 Ng6 -/+
6...f5 7.Bc4 Nf6 8.Bg5 Ng6 9.Nh5 Qd6 10.Bb5+ Kf7 (exchanging the light-squared Bishops is positionally bad: Black's is needed to hold the central pawn mass together, while White's has little future with the d5-pawn blocking it's only useful diagonal) 11.0-0 Be7 (11...a6!?) 12.Nxf6 Bxf6 13.Bxf6 gxf6 -/+
6...f5 7.Bc4 a6 8.0-0 Ng6 9.d6 Bxd6 10.Nd5 Nf4 (this idea of 10...b5 and 11...c5 seems a little Fritz-ish to me; also possible is the simple 10...Nge7!? 11.Bg5 Qd7 12.Nh5 Kf8; White's position looks threatening, but he's got nothing more to do) 11.Nh5 Nxh5 12.Qxh5+ g6 13.Qe2 c6 14.Nc3 Qe7 -/+
6...f5 7.Bc4 a6 8.0-0 Nf6 9.Nh5 is given with initiative, but simply 9...Ng6 10.Bg5 Qd6 -/+
6...Nf6 7.Bc4 Bg4 8.f3 exf3 9.gxf3 Bd7 10.Bg5 Nf5 (this is what I suggested, rather than 10...Ng6 which doesn't fight for any really key squares) 11.Nxf5 Bxf5 12.Bb5+ Bd7 13.Qe2 Bd6 14.f4 Qe7 (14...0-0 15.Bxd7 looks a little dangerous, but might be ok) 15.Bxd7+ Kxd7 16.0-0-0 exf4 -/+