fwk: Rework assertion logic

This commit modifies the assertion logic so that it is inlineable, and
uses more of the facilities provided by the compiler and standard
library for more robust error handling.

Change-Id: I3064b96eccf183b704aba0c319c94c43131ab25b
Signed-off-by: Chris Kay <chris.kay@arm.com>